;;; -*- Mode: LISP; Syntax: Common-lisp -*-

;;;; Four containers example
;; Last edited 1/29/93, by KDF

;;; Copyright (c) 1993, Kenneth D. Forbus, Northwestern University,
;;; and Johan de Kleer, the Xerox Corporation.
;;; All rights reserved.

;;; See the file legal.txt for a paragraph stating scope of permission
;;; and disclaimer of warranty.  The above copyright notice and that
;;; paragraph must be included in any separate copy of this file.

(assertq (state liquid))
(assertq (substance water))

(assertq (container F))
(assertq (container G))
(assertq (container H))
(assertq (container I))

(assertq (fluid-path P1))
(assertq (fluid-path P2))
(assertq (fluid-path P3))

(assertq (fluid-connection P1 F G))
(assertq (fluid-connection P1 G F))
(assertq (fluid-connection P2 G H))
(assertq (fluid-connection P2 H G))
(assertq (fluid-connection P3 G I))
(assertq (fluid-connection P3 I G))

(assertq (Equal-to (A (bottom-height F)) (A (Max-Height P1))))
(assertq (Equal-to (A (bottom-height H)) (A (Max-Height P2))))
(assertq (Equal-to (A (bottom-height I)) (A (Max-Height P3))))

(assertq (Equal-to (A (bottom-height G)) (A (max-height P1))))
(assertq (Equal-to (A (bottom-height G)) (A (max-height P2))))
(assertq (Equal-to (A (bottom-height G)) (A (max-height P3))))
